Struct isotope_parser::ast::Universe [−][src]
pub struct Universe(_);
Expand description
A typing universe
Implementations
Construct a universe from a level and whether it is a variable
Attempt to construct a constant universe from it’s level
Attempt to construct a universe variable from it’s level
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]
pub fn pretty<'a, D, A>(&'a self, allocator: &'a D) -> DocBuilder<'a, D, A> where
D: DocAllocator<'a, A>,
D::Doc: Clone,
A: Clone,
[src]Prettyprint a universe
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Universe
impl UnwindSafe for Universe
Blanket Implementations
Mutably borrows from an owned value. Read more